F. J. Lamport author data searchable via API